Skip to content

fix(interpreter): forward piped stdin to bash script/command child#1036

Merged
chaliy merged 1 commit intomainfrom
fix/issue-941-bash-stdin-pipe
Apr 3, 2026
Merged

fix(interpreter): forward piped stdin to bash script/command child#1036
chaliy merged 1 commit intomainfrom
fix/issue-941-bash-stdin-pipe

Conversation

@chaliy
Copy link
Copy Markdown
Contributor

@chaliy chaliy commented Apr 3, 2026

Summary

  • Forward stdin as pipeline_stdin when executing scripts via bash script.sh or bash -c
  • Save/restore previous pipeline_stdin state around child execution

Test plan

  • Spec tests: 3 cases (pipe to script, pipe to -c, pipe with read)
  • Full test suite passes

Closes #941

@chaliy chaliy merged commit abbfe76 into main Apr 3, 2026
27 checks passed
@chaliy chaliy deleted the fix/issue-941-bash-stdin-pipe branch April 3, 2026 10:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

bash /path/script.sh does not pass piped stdin to the child script

1 participant

@chaliy